例句與造句

1. When slicing criterion is extracted from the property to be verified according some rules , the sliced eha and the original one are equivalent to the property
   當按一定規(guī)則從被驗證的性質(zhì)中提取切片準則時，該算法能保證切片后的eha與原模型對性質(zhì)具有相同的滿足性。
2. We define a set of dependence relations through analyzing the characteristics such as hierarchy , concurrent and synchronization in eha . the algorithm of slicing eha from the slicing criterion composed of states and transitions is presented
   本文通過分析eha中存在的層次、并發(fā)和同步等特征定義了一組依賴關(guān)系，對于由狀態(tài)和遷移組成的切片準則，提出對eha進行切片的算法。
3. Program slicing is an important technique to analyze and understand programs . a program slice s is composed of a set of statements in program p which can influence the value of a variables named v at a special program point n , in which ( n , v ) is named as slicing criterion
   程序分片是一種重要的程序分析理解方法,用于從源程序中抽取對程序中特定點上的特定變量有影響的語句和控制條件,組成新的程序(稱作分片) ,然后通過分析分片來分析源程序的行為。
4. It's difficult to find slicing criterion in a sentence. 用slicing criterion造句挺難的